CaseNat 0 `n'